import python

from int line, ControlFlowNode f, Object o, ControlFlowNode orig
where
    not f.getLocation().getFile().inStdlib() and
    f.refersTo(o, orig) and
    line = f.getLocation().getStartLine() and
    line != 0
select f.getLocation().getFile().getShortName(), line, f.toString(), o.toString(), orig.toString()
